Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
501	PDF Document Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-04-24 17:17:52 International Colloquium on Automata Languages and Programming Workshop on Logic Language Information and Computation Symposium on Theoretical Aspects of Computer Science Bill Roscoe Model checking Theoretical computer science Computer science Automata theory
502	PDF Document Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:29:42 Mathematical logic Models of computation Theoretical computer science Model theory Logic in computer science Monad Denotational semantics Kleisli category Lambda calculus Mathematics Adjoint functors Software engineering
503	PDF Document Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2006-08-07 14:47:08 Models of computation Complex systems theory Agent-based model Scientific modeling Generative science Joshua M. Epstein Robert Axtell Macroeconomic model Heterogeneity in economics Science Knowledge Economics
504	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:39:36 Software development process Programming paradigms Computing Models of computation Object-oriented programming Data model Kahn process networks Jackson structured programming Michael A. Jackson Software development Software engineering Jackson system development
505	PDF Document Add to Reading List Source URL: keldysh.ru Language: English - Date: 2006-05-03 05:12:41 Simulation Agent-based model Economics War Economic growth Science Ethology Models of computation Multi-agent systems Operations research
506	PDF Document Add to Reading List Source URL: eldar.cz Language: English - Date: 2008-08-15 06:39:12 Scientific modeling Models of computation Game theory Mathematical economics Agent-based model Complex systems theory Macroeconomic model Computational economics Mathematical model Economics Science Knowledge
507	PDF Document Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Science Models of computation Automata theory Digital electronics Formal methods Finite-state machine Software development process Model checking ECLiPSe Computing Formal sciences Software engineering
508	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Process calculi Logic in computer science Concurrent computing Programming language semantics Communicating sequential processes Models of computation Denotational semantics Divergence Model checking Theoretical computer science Computing Computer science
509	PDF Document Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2009-09-17 09:28:06 Formal methods Theoretical computer science Petri nets Computer science TAPAAL Model Checker ExSpecT Models of computation Diagrams Concurrency
510	PDF Document Add to Reading List Source URL: www.albany.edu Language: English - Date: 2004-12-12 14:42:28 Functions and mappings State space Recurrence relation Mathematical model Function Mathematics Control theory Theory of computation